Prolog: So entfernen Sie jedes zweite Element einer Liste

Dies ist so ziemlich Landeis Antwort in einer bestimmten Prolog-Syntax:
r ([], []).
r ([X], [X]).
r ([X, _ | Xs], [X | Ys]): - r (Xs, Ys).
Das zweite Prädikat ist nicht erforderlich.
|
Alternative Lösung mit Foldl / 4:
fold_step (Item, true: [Item | Tail], false: Tail).
fold_step (_Item, false: Tail, true: Tail).
ungerade (Liste, ungerade): -
foldl (fold_step, List, true: Odd, _: []).
Verwendung:
- ungerade ([1, 2, 3, 4, 5, 6, 7], ungerade).
Ungerade = [1, 3, 5, 7]
Die Idee ist, die Liste durchzugehen, während das Flag "ungerade / gerade" beibehalten und der Wert (false -> true, true -> false) für jedes Element umgedreht wird. Wir erstellen die Liste auch schrittweise, indem wir die Elemente anhängen, deren "ungerade / gerade" -Flag gleich true ist, und andere überspringen.
|
Diese feine Antwort von @ code_x386 verwendet Differenzlisten und foldl / 4.
Verwenden wir nur eine fold_step / 3-Klausel und machen die Beziehung allgemeiner, wie folgt:
fold_step (X, [X | Xs] + Ys, Ys + Xs).
list_odds_evens (List, Odds, Evens): -
foldl (fold_step, List, Odds + Evens, [] + []).
Beispielanfragen:
? - list_odds_evens ([a, b, c, d, e, f], Gewinnchancen, Evens).
Evens = [b, d, f], Odds = [a, c, e]
? - list_odds_evens ([a, b, c, d, e, f, g], Odds, Evens).
Evens = [b, d, f], Odds = [a, c, e, g]
Bearbeiten
Warum nicht eine Klausel weniger verwenden und das Prädikat fold_step / 3 beseitigen?
Lambda zur Rettung!
: - use_module (Bibliothek (Lambda)).
list_odds_evens (List, Odds, Evens): -
foldl (\ X ^ ([X | Xs] + Ys) ^ (Ys + Xs) ^ true, List, Odds + Evens, [] + []).
|
Eine andere Möglichkeit ist die Verwendung von DCGs. Diese sind normalerweise eine lohnende Überlegung bei der Beschreibung von Listen:
list_oddindices (L, O): -
Phrase (ungerade Indizes (L), O). % Die Liste O wird durch ungerade Indizes // 1 beschrieben
ungerade Indizes ([]) ->%, wenn L leer ist
[]. % O ist ebenfalls leer
ungerade Indizes ([X]) ->%, wenn L nur ein Element hat
[X]. % Es ist in O.
ungerade Indizes ([O, _E | OEs]) ->%, wenn Ls Kopf aus mindestens zwei Elementen besteht
[O],% der erste ist in O.
Oddindices (OEs). % das gleiche gilt für den Schwanz
Dies ist sicherlich weniger elegant als die Lösungen mit foldl / 4, aber der Code ist sehr leicht lesbar, löst jedoch die vom OP beschriebene Aufgabe und funktioniert auch in beide Richtungen:
? - list_oddindices ([1,2,3,4,5,6,7], O).
O = [1, 3, 5, 7];
falsch.
? - list_oddindices (L, [1,3,5,7]).
L = [1, _G4412, 3, _G4418, 5, _G4424, 7];
L = [1, _G4412, 3, _G4418, 5, _G4424, 7, _G4430];
falsch.
|
Ich habe hier keinen Prolog, um es auszuprobieren, und ich bin ein bisschen verrostet, aber es sollte in der Art von sein
r ([]): - [].
r ([X]): - [X].
r ([X, Y | Z]): - R = r (Z), [X | R].
[Bearbeiten]
Natürlich ist Pad richtig. Meine Lösung würde in funktionalen Sprachen wie Haskell oder Erlang funktionieren:
- Haaskell
r [] = []
r [x] = [x]
r (x: _: xs) = x: (r xs)
In Prolog müssen Sie die rechten Seiten in die Argumentliste "ziehen", um die Vereinigung auszulösen.
|
Deine Antwort
StackExchange.ifUsing ("Editor", function () {
StackExchange.using ("externalEditor", function () {
StackExchange.using ("Snippets", function () {
StackExchange.snippets.init ();
});
});
}, "Code Ausschnitte");
StackExchange.ready (function () {
var channelOptions = {
Tags: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", function () {
// Editor muss nach Snippets ausgelöst werden, wenn Snippets aktiviert sind
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("Snippets", function () {
createEditor ();
});
}}
sonst {
createEditor ();
}}
});
Funktion createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: false,
heartbeatType: 'Antwort',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: wahr,
showLowRepImageUploadWarning: true,
Ruf zu PostImages: 10,
bindNavPrevention: true,
Postfix: "",
imageUploader: {
brandingHtml: "Powered by \ u003ca href =" https: //imgur.com/ "\ u003e \ u003csvg class =" svg-icon "width =" 50 "height =" 18 "viewBox = "0 0 50 18" fill = "none" xmlns = "http: //www.w3.org/2000/svg" \ u003e \ u003cpath d = "M46.1709 9.17788C46.1709 8.26454 46,2665 7,94324 47,1084 7.58816C47.4091 7,46349 47,7169 7,36433 48,0099 7.26993C48.9099 6,97997 49,672 6,73443 49,672 5.93063C49.672 5,22043 48,9832 4,61182 48,1414 4.61182C47.4335 4,61182 46,7256 4,91628 46,0943 5.50789C45.7307 4,9328 45,2525 4,66231 44,6595 4.66231C43.6264 4,66231 43,1481 5,28821 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d =" M32.492 10.1419C32.492 12.4954 14.1244 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0455 11.545 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z "/ \ u003e \ u003cpath fill-rule =" evenodd " = "M25.6622 17.6335C27.8049 17.6335 29.373916.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.66231 28.4555 4.94978 28.1109 5.50789C27.499 4.8653 21.03.9 13.913 25,3754 13.913C26.5612 13,913 27,4607 13,4902 28,1109 12.6616C28.1109 12,7229 28,1161 12,7799 28,121 12.8346C28.1256 12,8854 28,1301 12,9342 28,1301 12.983C28.1301 14,4373 27,2502 15,2321 25,777 15.2321C24.8349 15,2321 24,1352 14,9821 23,5661 14.7787C23.176 14,6393 22,8472 14,5218 22,5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335ZM24.1317 9.27932C24.1317 7.94324 24.9928 7.09766 26.1024 7.09766C27.2119 7.09766 28.0918 21.924 10.6491 24.1317 9.27932Z "/ \ u003e \ u003cpath d =" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.8962 19.8079 13.2535 19.8079 11.9512V8.12928C19.8079 5.82936 18.4879 4.62866 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9.3433.6 4.66232 5.00066 5.28821 5.00066 6.59049V11.9512C5.00066 13.2535 5.47873 13.8962 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7.58817 8.44431 6.91179 9.53458 6.91091. 13.8962C13.4375 13.8962 13.9157 13.2535 13.9157 11.9512V8.90741C13.9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z \ "/ \ u003e3 4.66232 1.82471 4.66232C0.791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59 049Z \ "/ \ u003e \ u003cpath d =" M1.87209 0.400291C0.843612 0.400291 0 1.1159 0 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.981 1.981 1.9 = "# 1BB76E" / \ u003e \ u003c / svg \ u003e \ u003c / a \ u003e ",
contentPolicyHtml: "Benutzerbeiträge, lizenziert unter \ u003ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \" https://stackoverflow.com / legal / content-policy \ "\ u003e (Inhaltsrichtlinie) \ u003c / a \ u003e",
allowUrls: true
},
onDemand: wahr,
discardSelector: ".discard-answer"
, instantShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}}
});
Vielen Dank, dass Sie eine Antwort auf Stack Overflow gegeben haben!
Bitte beantworten Sie die Frage unbedingt. Geben Sie Details an und teilen Sie Ihre Forschung!
Aber vermeiden Sie ...
Um Hilfe bitten, Klarheit schaffen oder auf andere Antworten antworten.
Aussagen auf der Grundlage von Meinungen machen; Unterstützen Sie sie mit Referenzen oder persönlichen Erfahrungen.
Weitere Informationen finden Sie in unseren Tipps zum Schreiben großartiger Antworten.
Entwurf gespeichert
Entwurf verworfen
Anmelden oder anmelden
StackExchange.ready (function () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Melden Sie sich mit Google an
Melde dich über Facebook an
Melden Sie sich mit E-Mail und Passwort an
einreichen
Post als Gast
Name
Email
Erforderlich, aber nie gezeigt
StackExchange.ready (
function () {
StackExchange.openid.initPostLogin ('. New-post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f5935133% 2fprolog-How-to-Remove-Every-Second-Element-of-a-List% 23new-answer ',' question_page ');
}}
);
Post als Gast
Name
Email
Erforderlich, aber nie gezeigt
Veröffentlichen Sie Ihre Antwort
Verwerfen
Durch Klicken auf "Antwort posten" stimmen Sie unseren Nutzungsbedingungen, Datenschutzbestimmungen und Cookie-Richtlinien zu
Nicht die Antwort, die Sie suchen? Durchsuchen Sie andere Fragen mit dem Tag Prolog oder stellen Sie Ihre eigene Frage.